numerical verification - définition. Qu'est-ce que numerical verification
Diclib.com
Dictionnaire ChatGPT
Entrez un mot ou une phrase dans n'importe quelle langue 👆
Langue:

Traduction et analyse de mots par intelligence artificielle ChatGPT

Sur cette page, vous pouvez obtenir une analyse détaillée d'un mot ou d'une phrase, réalisée à l'aide de la meilleure technologie d'intelligence artificielle à ce jour:

  • comment le mot est utilisé
  • fréquence d'utilisation
  • il est utilisé plus souvent dans le discours oral ou écrit
  • options de traduction de mots
  • exemples d'utilisation (plusieurs phrases avec traduction)
  • étymologie

Qu'est-ce (qui) est numerical verification - définition

OVERVIEW OF TECHNIQUES FOR VERIFYING SOFTWARE
Static verification; Dynamic verification; Verification of software

Validated numerics         
NUMERICS INCLUDING MATHEMATICALLY STRICT ERROR EVALUATION
Draft:Validated numerics; Reliable computing
Validated numerics, or rigorous computation, verified computation, reliable computation, numerical verification () is numerics including mathematically strict error (rounding error, truncation error, discretization error) evaluation, and it is one field of numerical analysis. For computation, interval arithmetic is used, and all results are represented by intervals.
numerical analysis         
STUDY OF ALGORITHMS THAT USE NUMERICAL APPROXIMATION FOR THE PROBLEMS OF MATHEMATICAL ANALYSIS
Numerical Analysis; Numerical solution; Numerical methods; Numerical approximation; Numerically; Numerical computation; Numberic; Numerical mathematics; Numerical calculus; Numeric analysis; Numerical algorithm; Numeric method; Numeral analysis; Numerical software; Numerical programming; Numerical evaluation; Numerical calculation; Numeric computation; Numerical computing; Numerical analysis software; Numerical analyst; History of numerical analysis; Numeric algorithm
¦ noun the branch of mathematics concerned with the development and use of numerical methods for solving problems.
numerically         
STUDY OF ALGORITHMS THAT USE NUMERICAL APPROXIMATION FOR THE PROBLEMS OF MATHEMATICAL ANALYSIS
Numerical Analysis; Numerical solution; Numerical methods; Numerical approximation; Numerically; Numerical computation; Numberic; Numerical mathematics; Numerical calculus; Numeric analysis; Numerical algorithm; Numeric method; Numeral analysis; Numerical software; Numerical programming; Numerical evaluation; Numerical calculation; Numeric computation; Numerical computing; Numerical analysis software; Numerical analyst; History of numerical analysis; Numeric algorithm

Wikipédia

Software verification

Software verification is a discipline of software engineering whose goal is to assure that software fully satisfies all the expected requirements.